SYNTHESIS OF MINIMAL FORMS OF FINITE-AUTOMATON MODEL OF FUNCTIONING OF ONBOARD ELECTRONIC SYSTEMS OF SPACE VEHICLES ACCORDING TO THE DIAGNOSTIC CRITERIA 

Loskutov Andrey Ivanovich, doctor of technical sciences, associate professor, chief of sub-department of telemetric systems and complex information processing, Мilitary space Academy named after A.F.Mozhaisky (13 Zhdanovskaya street, Saint-Petersburg, Russia), rujenz@mail.ru
Klykov Vladimir Alekseevich, graduated, sub-department of telemetric systems and complex information processing,Мilitary space Academy named after A. F. Mozhaisky (13 Zhdanovskaya street, Saint-Petersburg, Russia), v.klikoff86@mail.ru
Shestopalova Olga L'vovna, candidate of technical sciences, associate professor, dean of faculty «Test of aircraft», Moscow Aviation Institute (5 Gagarina street, Baikonur, Kazakhstan), neman2004@mail.ru

 681.3

Background. The object of the research is on-board radio telemetry system of the spacecraft. The subject of research is the process of identification and diagnosis of on-board equipment of autonomous spacecraft. The aim is to develop ways to optimize onboard equipment control algorithms for spacecraft by semantic analysis of telemetry data and finding the generalized diagnostic features.
Materials and methods. As an on-board system reviewed systemБР-9ЦК-1 used in the modern facilities of rocket and space technology. As a mathematical model for the individual logic subsystems describing the basic operation of the БР-9ЦК-1, the state machine of Moore selected system. The concept of a generalized semantic feature, which allows to minimize the number of states of a finite state machine, as well as to synthesize a minimal form of finite automaton model.
Results. Has staged synthesis problem minimal form finite automaton model of the functioning of on-board unit for the development of control algorithms. A procedure for the synthesis of minimal form of a finite automaton by the generalized diagnostic features. An example of the synthesis of the minimum forms of finite automaton model KA BA operation.
Conclusions. The presented method of synthesis of the minimum forms of finite automaton model of the onboard spacecraft equipment, shows the possibility of the synthesis of optimized control algorithms for generalized diagnostic features that can be used in automated systems onboard diagnostics autonomous spacecraft.

 onboard equipment, final and automatic model, algorithm of control, identification, diagnostic sign, autonomy